Философская логика

Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом к логической формализации рассуждения послужило выявление силлогизмов, или рассуждений вида:

(1) все животные смертны; (2) слон — это животное; следовательно (3) слон смертен.

Корректное использование силлогизмов открывает дорогу для доказательных рассуждений в философии, в математике, в естественных науках или для формализации дедуктивного мышления.

При всей своей кажущейся простоте выделение силлогизмов из обычной человеческой речи произошло не сразу и не везде. Выделению силлогизмов как способа доказательства способствовало сочетание философии и математики, распространённое в Древней Греции. Первое формальное изложение понятия силлогизма и простейшей логической системы было сделано Аристотелем. Логика Аристотеля оставалась неизменной две тысячи лет, до начала XX века, когда исследования в математике и аналитической философии открыли дорогу для развития логики. Была формализована «логика первого порядка» или «логика предикатов», которая к настоящему моменту хорошо изучена. Однако, как оказалось, для полноценного анализа философской аргументации, а тем более естественной человеческой речи требуется применение модальной логики и логик более высоких порядков, в частности логики второго порядка. Кроме этого взаимосвязь формального символического языка и естественной речи исследуют логическая семантика и семиотика. Эти дисциплины в совокупности с модальной логикой более высоких порядков продолжают оставаться областью активных междисциплинарных исследований. Современная логика состоит из нетривиальных, глубоко математических концепций, которые изучаются философами, математиками, лингвистами, а в последнее время ещё и программистами и специалистами в области теории решений и искусственного интеллекта. Логика, таким образом, является как одной из самых древних, так и одной из самых современных дисциплин.

Источник: Википедия

Упоминания в литературе

Для разрешения этих и подобных им концептуальных затруднений Рассел разработал специальный метод логического анализа, для которого в 1914 г. ввел название «философская логика». Он был убежден, что применение логических методов в решении философских проблем придаст философии научную строгость и определенность, свойственную математике. Ключевое место в разработанной им концепции анализа занимает различение логической и грамматической форм. Согласно Расселу, предложение имеет грамматическую форму, тогда как выражаемое им суждение имеет логическую форму. Иногда эти формы совпадают, а иногда нет, однако в определении истинностного значения предложения участвует именно логическая форма, поэтому, если не позаботиться о тех случаях, где логика и грамматика расходятся, то возникает опасность уподобления грамматических категорий логическим и соответственно онтологическим, что грозит серьезными метафизическими искажениями. В связи с этим стратегия Рассела состояла в том, чтобы для каждого проблематичного предложения S сформулировать логически эквивалентное ему предложение S1 такое, что его грамматическая форма точно отображает логическую структуру суждения, выраженного в S и S1. Для ясного и однозначного представления логической формы Рассел стал использовать разработанный им формальный язык, приписав ему тем самым статус «логически совершенного» языка. Необходимость же подобного перевода на формальный язык он объяснял тем, что обыденный язык – это источник путаницы и неясности, которые на протяжении веков были причинами философских заблуждений.

Л. Б. Макеева, Язык, онтология и реализм, 2011

Из этой характеристики принципа изначала уже явствует что, в конечном итоге, это – тот же принцип систематического единства, который был нами формулировать в начале настоящего очерка, лишь приспособленный к задачам философской логики, т. е. углубленный и обогащенный двумя основными определениями объективного знания: проблематичностью и непрерывностью. В этих двух определениях заключается фундаментальное логическое преимущество систематической концепция Когена перед учением Канта. В принципе изначала спаяны воедино два самостоятельных Кантовских принципа, не сведенных в «Критике чистого разума» к высшему единству: с одной стороны, регулятивная идея, как принцип систематического единства, и трансцендентальная апперцепция, – с другой, как последняя основа категориальных синтезов. Действительно, Кантовское учение об идеях чистого разума покоится на признании бесконечности и неисчерпаемости предмета опыта. Напротив, аналитика понятий и основоположений чистого рассудка исходит из факта математического естествознания (Ньютоновой физики), как из завершенной в себе и потому конечной системы знания. Только на почве такого предположения была возможна сделанная Кантом попытка дать исчерпывающий перечень всех вообще возможных в научном знании категориальных синтезов. Однако историческое развитие математики и физики за последнее столетие представило неопровержимое доказательство тому, что эти науки, несмотря на свойственную им точность и априорность, подвержены такой же эволюции, как и чисто эмпирические науки, т. е. эволюция, которая не исчерпывается одною лишь разработкой детальных вопросов, но захватывает в такой же мере и глубочайшие их основы. Вот почему прогрессу научного знания должен соответствовать такой же бесконечный процесс выявления новых категориальных форм и синтезов.

Коллектив авторов, Новые идеи в философии. Сборник номер 5, 2015